Object theory

Results: 981



#Item
81Database theory / Semantic Web / Database management systems / Database models / SPARQL / Resource Description Framework / Query language / Object-relational database / Information model / Database / Relational database / Data model

Microsoft Word - eg-ice-2012_bimql_final_v2_jb.doc

Add to Reading List

Source URL: bimserver.org

Language: English - Date: 2013-08-09 07:25:02
82Internet Standards / Internet protocols / Computability theory / Daikon / Software testing / Domain Name System Security Extensions / Domain Name System / Freeciv / Programming language / Object Process Methodology / Specification language / Internet protocol suite

Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine

Add to Reading List

Source URL: pgbovine.net

Language: English - Date: 2014-01-03 23:24:44
83Linear algebra / Matrix theory / Computer vision / Functional analysis / Numerical linear algebra / Singular value decomposition / Condensation algorithm / Eigenvalues and eigenvectors / Video tracking / Principal component analysis / Outline of object recognition / Normal distribution

Incremental Learning for Visual Tracking † Jongwoo Lim† David Ross‡ Ruei-Sung Lin† Ming-Hsuan Yang∗ University of Illinois ‡ University of Toronto ∗ Honda Research Institute

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2005-01-07 15:34:20
84Data types / Type theory / Object-oriented programming languages / Cross-platform software / Procedural programming languages / Gradual typing / Type system / This / Objective-C / Type safety / Parameter / Reference

Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:50
85Functional languages / Object-oriented programming languages / Data types / Parsing / Type theory / F Sharp / Lexical analysis / Type system / OCaml / Anonymous function / Scala / Type inference

The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som

Add to Reading List

Source URL: fsharp.org

Language: English - Date: 2016-08-15 16:34:27
86Type theory / Classical genetics / Object-oriented programming languages / Genetics / C++ / Trait / Mixin / Quantitative trait locus / Natural selection / Multiple inheritance / Inline expansion / Abstract type

A foundation for trait-based metaprogramming John Reppy Aaron Turon University of Chicago

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2010-01-10 16:47:27
87Virtual reality / User interface techniques / Nonverbal communication / Multimodal interaction / Video game controllers / Haptic technology / Perception / Usability / User interface / Haptic communication / Somatosensory system / Social presence theory

Supporting Object Handling and Hand Over Tasks in Haptic Collaborative Virtual Environments Jin Kjölberg The Interactive Institute http://www.interactiveinstitute.se/ PO Box 24081, SEStockholm

Add to Reading List

Source URL: www.eurohaptics.vision.ee.ethz.ch

Language: English - Date: 2002-06-06 09:42:26
88Object-oriented programming / Method / Type theory / Method overriding / Polymorphism / Inheritance / Java / Class / Constructor

PDF Document

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2015-10-01 14:30:10
89Functional languages / Object-oriented programming languages / Order theory / Scala / Embedding / Monad / OCaml

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Scala-Virtualized: Linguistic Reuse for Deep Embeddings Tiark Rompf · Nada Amin · Adriaan Moors · Philipp Haller · Martin Odersky

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2013-09-27 08:16:30
90Algebra / Mathematics / Geometry / Algebraic curves / Complex analysis / Differential geometry / Algebraic surfaces / PicardLefschetz theory / Elliptic curve / Abelian variety / Monodromy / Curve

Commun. Math. Phys. 229, 459–Digital Object Identifier (DOIs00220Communications in Mathematical

Add to Reading List

Source URL: www-irma.u-strasbg.fr

Language: English - Date: 2013-04-28 08:55:03
UPDATE